1. Algebraic and Differential Methods for Nonlinear Control Theory :
پدیدآورنده : Rafael Martínez-Guerra, Oscar Martínez-Fuentes, Juan Javier Montesinos-García.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Commutative algebra.,Geometry, Algebraic.,Nonlinear control theory.,Commutative algebra.,Geometry, Algebraic.,MATHEMATICS-- General.,Nonlinear control theory.,TECHNOLOGY & ENGINEERING-- Engineering (General)
رده :
QA402
.
35
2. Bridge to abstract mathematics /
پدیدآورنده : Ralph W. Oberste-Vorth, Aristides Mouzakitis, Bonita A. Lawrence
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Axioms,Logic, Symbolic and mathematical, Textbooks,Mathematics, Textbooks,Number theory,Set theory
3. Closure Spaces and Logic
پدیدآورنده : by Norman M. Martin, Stephen Pollard.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic.,Mathematics.,Topology.
4. Computational Logic - CL 2000 :
پدیدآورنده : edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
5. Discrete mathematics
پدیدآورنده : by Seymour Lipschutz, Ph.D. and Marc Lars Lipson, Ph.D.
کتابخانه: Library of Urmia University of Technology (West Azarbaijan)
موضوع : Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
رده :
QA
,
162
,.
D57
,
2007
6. Discrete mechanics, geometric integration and Lie-Butcher series :
پدیدآورنده : Kurusch Ebrahimi-Fard, María Barbero Liñán, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Lie algebras, Congresses.,Lie groups, Congresses.,Algebra.,Cybernetics & systems theory.,Differential & Riemannian geometry.,Groups & group theory.,Lie algebras.,Lie groups.,MATHEMATICS-- Algebra-- Intermediate.,Numerical analysis.
رده :
QA252
.
3
7. Dynamical Systems, Control, Coding, Computer Vision
پدیدآورنده : edited by Giorgio Picci, David S. Gilliam.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics.
8. Introduction · to Mathematical Structures and · Proofs
پدیدآورنده : by Larry J. Gerstein.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Science (General).
9. Introduction to mathematical proofs :
پدیدآورنده : Charles E. Roberts, Jr.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical, Textbooks.,Proof theory, Textbooks.,Beweistheorie,Logic, Symbolic and mathematical.,Matematik.,Mathematik,Proof theory.
رده :
QA9
.
54
.
R63
2010
10. Linear Operators and Approximation / Lineare Operatoren und Approximation
پدیدآورنده : edited by P. L. Butzer, J.-P. Kahane, B. Szökefalvi-Nagy.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Science (General).
11. Logical foundations of computer science :
پدیدآورنده : eds.: Anil Nerode ...
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
12. Mathematical Foundations of Computer Science 1976 :
پدیدآورنده : edited by Antoni Mazurkiewicz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer Science.,Computers.
رده :
QA267
.
3
E358
1976
13. Mathematical Foundations of Computer Science 1989 :
پدیدآورنده : edited by Antoni Kreczmar, Grazyna Mirkowska.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA76
.
9
.
M35
E358
1989
14. Mathematical analysis
پدیدآورنده : Bernd S.W. Schreoder
کتابخانه: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
موضوع : Mathematical analysis
رده :
515
,.
S376M
,
2008
15. Reading, writing, and proving :
پدیدآورنده : Ulrich Daepp, Pamela Gorkin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics-- Study and teaching (Higher)-- United States.,Technical writing-- Study and teaching (Higher)-- United States.,Mathematics-- Study and teaching (Higher),Technical writing-- Study and teaching (Higher),United States., 7
رده :
QA13
.
D34
2011
16. Schaum's outline of theory and problems of discrete mathematics
پدیدآورنده : abridgement editor, George J. Hademenos.
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Algebra, Abstract,Combinatorial analysis,Logic, Symbolic and mathematical
رده :
QA
162
.
D57
2003
17. Set relations , Functions
پدیدآورنده : Selby, Samuel 4091-
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Set theory,، Functions,، Algebra , Abstract
رده :
QA
248
.
3
.
S4
1969
18. Sets, relations, functions
پدیدآورنده : Selby, Samuel M.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Set theory,، Functions,، Algebra, Abstract
رده :
QA
248
.
3
.
S4
1969
19. Sets, relations, functions
پدیدآورنده : Selby, Samuel M
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Set theory,، Functions,، Algebra, Abstract
رده :
QA
248
.
3
.
S4
1969
20. Sets, relations, functions
پدیدآورنده : Selby, Samuel M.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Set theory,، Functions,، Algebra, Abstract
رده :
QA
248
.
S38
